TwoTowers 5.1 User Manual Marco Bernardo January[removed]c 2006

Source URL: www.sti.uniurb.it

• Applied mathematics
• Model checking
• Logic in computer science
• Bisimulation
• Functional verification
• Mathematics
• Computer science
• Model checkers
• NuSMV
• Theoretical computer science

Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University

Source URL: suif.stanford.edu

• Functions and mappings
• Binary decision diagram
• Boolean algebra
• Model checking
• Models of computation
• Datalog
• Data-flow analysis
• Function
• Scope
• Mathematics
• Mathematical logic
• Diagrams

Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties Alberto Puggelli

Source URL: www.eecs.berkeley.edu

• Applied mathematics
• Theoretical computer science
• Markov models
• Operations research
• Dynamic programming
• Markov decision process
• Model checking
• Mathematical optimization
• Markov chain
• Statistics
• Markov processes
• Mathematics

Towards a Foundational Framework for Developing and Testing Inter-organizational Business Processes Philip Langer Vienna University of Technology Vienna, Austria

Source URL: publik.tuwien.ac.at

• Science
• Design
• Scientific modeling
• Logic in computer science
• Modeling language
• Formal methods
• Process modeling
• Model checking
• Business Process Execution Language
• Process management
• Management
• Systems engineering

MemSAT: Checking Axiomatic Specifications of Memory Models Emina Torlak Mandana Vaziri

Source URL: homes.cs.washington.edu

• Java Memory Model
• Java platform
• Relational algebra
• Relational model
• Memory ordering
• Parallel computing
• R
• Function
• Computing
• Software engineering
• Computer memory

A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS[removed]

Source URL: www.cs.cmu.edu

• Logic simulation
• Linear temporal logic
• Electronics
• Design
• Computing
• Model checking
• Logic design
• Abstraction

SEI Presentation (Full Color): Preformatted Design and Template Items

Source URL: www.mys5.org

• Carnegie Mellon University
• Middle States Association of Colleges and Schools
• Model checking
• Mentat
• Computing
• X Window System
• Software
• Association of American Universities
• Association of Independent Technological Universities

Microsoft Word - PENDERGRASS.LEE.FINAL[removed]SARALAB-V4[removed]docx

Source URL: techdigest.jhuapl.edu

• Program analysis
• APL
• IBM software
• Static program analysis
• Coverity
• Klocwork
• Model checking
• Parasoft
• Cppcheck
• Software
• Computing
• APL programming language family

problems worthy of attack

Source URL: leecenter.caltech.edu

• Logic in computer science
• Model checking
• Formal verification
• POSIX
• Device driver
• At
• C
• Computing
• Software
• Formal methods

Unit 3 Document Set 1: Winter Counts High Dog Winter Count Activity 2. Historical Corroboration Chart Historians need to corroborate past events by checking other sources. Using the example as a model, list in this char

Source URL: history.nd.gov